A Generalization of BIAS Speci cationEvgenija
نویسندگان
چکیده
This paper generalizes the speciication of Basic Interval Arithmetic Sub-routines (BIAS) to support interval arithmetic on directed (i.e. proper and improper) intervals. This is due to our understanding that the arithmetic involving improper intervals will be increasingly used in future applications and the corresponding interval arithmetic implementations require no additional cost. We extend BIAS speciication to be suuciently precise and complete, to include everything a user needs, such as subroutine's purpose, name, method of invocation and details of its behaviour and communication with the environment. The speciied interval arithmetic subroutines for directed intervals are consistent with conventional interval arithmetic and IEEE oating-point arithmetic.
منابع مشابه
A Generalization of BIAS Speci cations
This paper generalizes the speciication of Basic Interval Arithmetic Sub-routines (BIAS) to support interval arithmetic on directed (i.e. proper and improper) intervals. This is due to our understanding that the arithmetic involving improper intervals will be increasingly used in future applications and the corresponding interval arithmetic implementations require no additional cost. We extend ...
متن کاملProbit-Based Traffic Assignment: A Comparative Study between Link-Based Simulation Algorithm and Path-Based Assignment and Generalization to Random-Coefficient Approach
Probabilistic approach of traffic assignment has been primarily developed to provide a more realistic and flexible theoretical framework to represent traveler’s route choice behavior in a transportation network. The problem of path overlapping in network modelling has been one of the main issues to be tackled. Due to its flexible covariance structure, probit model can adequately address the pro...
متن کاملGeneralizing BIAS Speci cations
This paper generalizes the speci cation of Basic Interval Arithmetic Subroutines (BIAS) to support interval arithmetic on directed (i.e. proper and improper) intervals. This is due to our understanding that the arithmetic involving improper intervals will be increasingly used in future applications and the corresponding interval arithmetic implementations require no additional cost. We extend B...
متن کاملAlgebraic Speci cations and Sequencing: A Defect Detection Method
One class of program defects results from illegal sequences of otherwise legal operations in software implementations. Explicit statement of sequencing constraints, however, is not a common activity when specifying software even when using formal speci cation methods. This paper shows that constraints on program execution sequences can be derived directly from algebraic speci cations. Results i...
متن کاملHyperbolic Discounting: An Experimental Analysis
In this paper we elicit preferences for discounting via experimental techniques. We then estimate a general speci cation of discounting that nests exponential and hyperbolic discounting, as well as various forms of present bias, including quasihyperbolic discounting. The data strongly favor a speci cation with a small present bias in the form of a xed cost, of the order of $4 on average across...
متن کامل